New lower bounds for the border rank of matrix multiplication
نویسندگان
چکیده
The border rank of the matrix multiplication operator for n× n matrices is a standard measure of its complexity. Using techniques from algebraic geometry and representation theory, we show the border rank is at least 2n2−n. Our bounds are better than the previous lower bound (due to Lickteig in 1985) of 2 n 2 + 2 −1 for all n≥ 3. The bounds are obtained by finding new equations that bilinear maps of small border rank must satisfy, i.e., new equations for secant varieties of triple Segre products, that matrix multiplication fails to satisfy.
منابع مشابه
On the geometry of border rank algorithms for matrix multiplication and other tensors with symmetry
We establish basic information about border rank algorithms for the matrix multiplication tensor and other tensors with symmetry. We prove that border rank algorithms for tensors with symmetry (such as matrix multiplication and the determinant polynomial) come in families that include representatives with normal forms. These normal forms will be useful both to develop new efficient algorithms a...
متن کاملInner Rank and Lower Bounds for Matrix Multiplication
We develop a notion of inner rank as a tool for obtaining lower bounds on the rank of matrix multiplication tensors. We use it to give a short proof that the border rank (and therefore rank) of the tensor associated with n × n matrix multiplication over an arbitrary field is at least 2n − n + 1. While inner rank does not provide improvements to currently known lower bounds, we argue that this n...
متن کاملEquations for Lower Bounds on Border Rank
We present new methods for determining polynomials in the ideal of the variety of bilinear maps of border rank at most r. We apply these methods to several cases including the case r = 6 in the space of bilinear maps C × C → C. This space of bilinear maps includes the matrix multiplication operator M2 for two by two matrices. We show these newly obtained polynomials do not vanish on the matrix ...
متن کاملComputer aided methods for lower bounds on the border rank
We present new methods for determining polynomials in the ideal of the variety of bilinear maps of border rank at most r. We apply these methods to several cases including the case r = 6 in the space of bilinear maps C × C → C. This space of bilinear maps includes the matrix multiplication operator M2 for two by two matrices. We show these newly obtained polynomials do not vanish on the matrix ...
متن کاملThe border support rank of two-by-two matrix multiplication is seven
We show that the border support rank of the tensor corresponding to two-by-two matrix multiplication is seven over the complex numbers. We do this by constructing two polynomials that vanish on all complex tensors with format four-by-four-by-four and border rank at most six, but that do not vanish simultaneously on any tensor with the same support as the two-by-two matrix multiplication tensor....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Theory of Computing
دوره 11 شماره
صفحات -
تاریخ انتشار 2015